Contributions a la faune malacologique de l'Afrique equa-toriale

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Contributions à la reconnaissance automatique de la parole non-native

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

letude de la typologie narrative de mort a credit de louis ferdinand celine

چکیده ندارد.

Contributions a l'analyse de la variance et aux plans d'experience